[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 140 235 176 1364 179 0 0 0

N.S.

1 1.04 1.74 1.30 10.10 1.33 0.00 0.00 0.00

time (sec)

N/A 0.774 3.799 13.563 0.946 1.030 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

136 144 556 227 1342 155 0 0 0

N.S.

1 1.06 4.09 1.67 9.87 1.14 0.00 0.00 0.00

time (sec)

N/A 0.696 6.976 12.892 1.006 0.312 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

181 199 1757 294 1674 172 0 0 0

N.S.

1 1.10 9.71 1.62 9.25 0.95 0.00 0.00 0.00

time (sec)

N/A 1.007 7.867 12.497 0.959 0.298 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A C A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

224 254 2510 328 2199 189 0 0 0

N.S.

1 1.13 11.21 1.46 9.82 0.84 0.00 0.00 0.00

time (sec)

N/A 1.357 9.505 11.009 0.997 0.298 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 257 284 417 0 247 0 0 0

N.S.

1 1.05 1.16 1.70 0.00 1.01 0.00 0.00 0.00

time (sec)

N/A 1.558 1.450 26.345 0.000 5.596 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 194 319 313 0 212 0 0 0

N.S.

1 1.03 1.70 1.66 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 1.116 0.940 25.004 0.000 2.956 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 150 171 281 0 207 0 0 0

N.S.

1 1.03 1.18 1.94 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.830 1.296 11.746 0.000 2.969 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

152 154 434 271 0 199 0 0 0

N.S.

1 1.01 2.86 1.78 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.717 4.196 11.851 0.000 0.297 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

201 211 1192 388 0 217 0 0 0

N.S.

1 1.05 5.93 1.93 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 1.045 6.526 11.802 0.000 0.305 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

248 262 2455 426 0 234 0 0 0

N.S.

1 1.06 9.90 1.72 0.00 0.94 0.00 0.00 0.00

time (sec)

N/A 1.416 7.776 11.245 0.000 0.297 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 251 279 483 0 278 0 0 0

N.S.

1 1.06 1.18 2.04 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 1.525 2.025 26.898 0.000 6.275 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 203 252 447 0 265 0 0 0

N.S.

1 1.06 1.31 2.33 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 1.165 2.003 8.614 0.000 6.236 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F A F F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

154 160 397 343 0 217 0 0 0

N.S.

1 1.04 2.58 2.23 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 0.733 4.065 12.458 0.000 0.312 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

199 209 726 403 0 246 0 0 0

N.S.

1 1.05 3.65 2.03 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 1.086 7.133 11.908 0.000 0.311 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

246 264 861 518 0 264 0 0 0

N.S.

1 1.07 3.50 2.11 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 1.410 8.374 11.490 0.000 0.327 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 93 89 69 69 64 173 77 115

N.S.

1 1.01 0.97 0.75 0.75 0.70 1.88 0.84 1.25

time (sec)

N/A 0.466 0.173 4.220 0.206 0.254 0.218 0.329 5.014

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 81 73 57 57 53 150 62 75

N.S.

1 1.07 0.96 0.75 0.75 0.70 1.97 0.82 0.99

time (sec)

N/A 0.455 0.096 3.883 0.213 0.252 0.158 0.288 1.198

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 55 57 44 46 42 95 47 55

N.S.

1 1.02 1.06 0.81 0.85 0.78 1.76 0.87 1.02

time (sec)

N/A 0.371 0.096 3.419 0.199 0.257 0.110 0.275 1.168

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 35 32 35 29 63 32 31

N.S.

1 1.00 0.92 0.84 0.92 0.76 1.66 0.84 0.82

time (sec)

N/A 0.171 0.115 1.624 0.209 0.272 0.098 0.283 1.150

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 26 16 20 17 0 39 17

N.S.

1 1.00 1.73 1.07 1.33 1.13 0.00 2.60 1.13

time (sec)

N/A 0.214 0.006 1.983 0.204 0.259 0.000 0.287 1.143

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 29 37 36 0 43 57

N.S.

1 1.00 1.00 1.81 2.31 2.25 0.00 2.69 3.56

time (sec)

N/A 0.304 0.008 2.701 0.199 0.276 0.000 0.312 1.335

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 30 38 60 0 63 47

N.S.

1 1.00 1.00 1.25 1.58 2.50 0.00 2.62 1.96

time (sec)

N/A 0.356 0.009 3.702 0.211 0.260 0.000 0.321 1.358

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 48 47 47 58 74 0 105 81

N.S.

1 1.02 1.00 1.00 1.23 1.57 0.00 2.23 1.72

time (sec)

N/A 0.441 0.016 5.037 0.207 0.252 0.000 0.316 1.792

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 60 60 70 88 0 122 111

N.S.

1 1.02 0.95 0.95 1.11 1.40 0.00 1.94 1.76

time (sec)

N/A 0.462 0.163 4.539 0.204 0.261 0.000 0.302 3.080

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 90 59 73 95 99 0 164 150

N.S.

1 1.06 0.69 0.86 1.12 1.16 0.00 1.93 1.76

time (sec)

N/A 0.565 0.233 4.545 0.213 0.280 0.000 0.307 3.923

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 120 102 87 124 88 338 112 236

N.S.

1 0.96 0.82 0.70 0.99 0.70 2.70 0.90 1.89

time (sec)

N/A 0.746 0.327 4.438 0.216 0.280 0.267 0.310 2.547

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 93 76 67 101 74 255 89 212

N.S.

1 0.96 0.78 0.69 1.04 0.76 2.63 0.92 2.19

time (sec)

N/A 0.623 0.249 4.765 0.221 0.280 0.181 0.307 2.331

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 96 65 54 79 56 170 68 84

N.S.

1 1.13 0.76 0.64 0.93 0.66 2.00 0.80 0.99

time (sec)

N/A 0.327 0.169 3.480 0.208 0.265 0.126 0.311 1.249

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 44 37 55 38 0 93 50

N.S.

1 1.00 0.94 0.79 1.17 0.81 0.00 1.98 1.06

time (sec)

N/A 0.304 0.090 2.280 0.203 0.270 0.000 0.314 1.158

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 46 48 58 51 0 79 100

N.S.

1 1.00 1.44 1.50 1.81 1.59 0.00 2.47 3.12

time (sec)

N/A 0.517 0.023 2.480 0.219 0.273 0.000 0.325 1.332

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 43 50 73 79 0 84 100

N.S.

1 1.00 1.34 1.56 2.28 2.47 0.00 2.62 3.12

time (sec)

N/A 0.530 0.015 4.499 0.210 0.277 0.000 0.330 1.516

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 59 75 75 95 89 0 124 94

N.S.

1 1.05 1.34 1.34 1.70 1.59 0.00 2.21 1.68

time (sec)

N/A 0.639 0.018 6.584 0.215 0.280 0.000 0.307 1.991

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 87 56 81 127 105 0 154 126

N.S.

1 1.01 0.65 0.94 1.48 1.22 0.00 1.79 1.47

time (sec)

N/A 0.725 0.308 6.904 0.204 0.277 0.000 0.327 3.149

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 102 77 119 163 127 0 188 166

N.S.

1 0.96 0.73 1.12 1.54 1.20 0.00 1.77 1.57

time (sec)

N/A 0.767 0.378 6.753 0.218 0.288 0.000 0.333 3.920

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 151 104 93 178 110 462 137 277

N.S.

1 0.94 0.65 0.58 1.11 0.69 2.89 0.86 1.73

time (sec)

N/A 0.956 0.313 5.901 0.218 0.253 0.291 0.330 2.721

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 128 86 74 144 90 340 110 134

N.S.

1 0.99 0.67 0.57 1.12 0.70 2.64 0.85 1.04

time (sec)

N/A 0.461 0.317 4.726 0.210 0.254 0.190 0.306 1.258

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 83 84 61 110 70 0 142 98

N.S.

1 0.88 0.89 0.65 1.17 0.74 0.00 1.51 1.04

time (sec)

N/A 0.413 0.475 3.862 0.212 0.263 0.000 0.309 1.198

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 96 74 101 79 0 145 141

N.S.

1 1.00 1.17 0.90 1.23 0.96 0.00 1.77 1.72

time (sec)

N/A 0.799 1.375 2.514 0.236 0.271 0.000 0.304 1.345

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 143 81 105 108 0 155 161

N.S.

1 1.00 1.93 1.09 1.42 1.46 0.00 2.09 2.18

time (sec)

N/A 0.807 2.088 4.971 0.210 0.281 0.000 0.322 1.298

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 53 106 142 119 0 154 162

N.S.

1 1.00 0.60 1.20 1.61 1.35 0.00 1.75 1.84

time (sec)

N/A 0.857 0.786 6.500 0.206 0.287 0.000 0.334 1.271

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 119 63 120 174 125 0 178 145

N.S.

1 1.05 0.56 1.06 1.54 1.11 0.00 1.58 1.28

time (sec)

N/A 1.000 0.949 7.984 0.209 0.277 0.000 0.357 3.468

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 145 81 150 230 145 0 212 183

N.S.

1 1.01 0.56 1.04 1.60 1.01 0.00 1.47 1.27

time (sec)

N/A 1.139 1.262 8.043 0.232 0.271 0.000 0.335 3.779

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 160 101 173 278 165 0 246 224

N.S.

1 0.95 0.60 1.02 1.64 0.98 0.00 1.46 1.33

time (sec)

N/A 1.165 1.785 8.098 0.214 0.281 0.000 0.347 3.994

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 197 130 112 262 130 699 166 315

N.S.

1 0.98 0.65 0.56 1.30 0.65 3.48 0.83 1.57

time (sec)

N/A 1.284 0.401 4.349 0.209 0.267 0.403 0.305 2.799

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 146 108 93 213 110 532 136 277

N.S.

1 0.95 0.70 0.60 1.38 0.71 3.45 0.88 1.80

time (sec)

N/A 0.526 0.395 3.822 0.221 0.261 0.290 0.301 2.493

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 101 116 79 167 90 0 176 134

N.S.

1 0.87 1.00 0.68 1.44 0.78 0.00 1.52 1.16

time (sec)

N/A 0.458 0.613 5.298 0.211 0.276 0.000 0.305 1.261

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 117 113 93 148 102 0 180 178

N.S.

1 1.05 1.02 0.84 1.33 0.92 0.00 1.62 1.60

time (sec)

N/A 1.021 1.498 5.285 0.209 0.288 0.000 0.307 1.418

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 111 272 120 140 127 0 192 197

N.S.

1 1.01 2.47 1.09 1.27 1.15 0.00 1.75 1.79

time (sec)

N/A 1.057 3.262 5.426 0.215 0.303 0.000 0.357 1.444

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 116 208 129 165 137 0 192 207

N.S.

1 1.02 1.82 1.13 1.45 1.20 0.00 1.68 1.82

time (sec)

N/A 1.092 4.377 6.777 0.221 0.285 0.000 0.347 1.575

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 131 70 142 212 141 0 189 209

N.S.

1 1.05 0.56 1.14 1.70 1.13 0.00 1.51 1.67

time (sec)

N/A 1.135 1.742 7.575 0.215 0.265 0.000 0.353 1.420

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 165 173 178 269 145 0 212 185

N.S.

1 1.07 1.12 1.16 1.75 0.94 0.00 1.38 1.20

time (sec)

N/A 1.313 1.551 9.115 0.213 0.283 0.000 0.356 3.783

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 191 101 196 337 165 0 246 224

N.S.

1 1.03 0.55 1.06 1.82 0.89 0.00 1.33 1.21

time (sec)

N/A 1.446 2.816 10.955 0.222 0.276 0.000 0.345 4.057

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 107 249 78 310 98 1166 151 138

N.S.

1 0.88 2.04 0.64 2.54 0.80 9.56 1.24 1.13

time (sec)

N/A 0.700 1.434 1.734 0.289 0.282 1.663 0.290 2.468

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 98 197 61 225 83 668 124 107

N.S.

1 0.99 1.99 0.62 2.27 0.84 6.75 1.25 1.08

time (sec)

N/A 0.498 1.134 1.655 0.288 0.263 1.081 0.279 1.474

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 47 77 42 143 61 265 78 65

N.S.

1 0.87 1.43 0.78 2.65 1.13 4.91 1.44 1.20

time (sec)

N/A 0.370 0.548 1.924 0.285 0.269 0.711 0.288 1.246

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 52 28 73 43 0 43 30

N.S.

1 1.00 1.53 0.82 2.15 1.26 0.00 1.26 0.88

time (sec)

N/A 0.393 0.500 1.690 0.289 0.260 0.000 0.350 1.166

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 109 54 99 74 0 71 42

N.S.

1 1.00 2.48 1.23 2.25 1.68 0.00 1.61 0.95

time (sec)

N/A 0.449 0.664 1.787 0.236 0.268 0.000 0.347 1.169

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 70 201 93 196 127 0 110 78

N.S.

1 1.01 2.91 1.35 2.84 1.84 0.00 1.59 1.13

time (sec)

N/A 0.653 1.739 2.335 0.211 0.290 0.000 0.351 1.376

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 100 289 126 282 156 0 157 119

N.S.

1 0.93 2.70 1.18 2.64 1.46 0.00 1.47 1.11

time (sec)

N/A 0.773 5.850 2.254 0.207 0.278 0.000 0.323 1.580

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 118 490 170 368 168 0 182 152

N.S.

1 0.90 3.74 1.30 2.81 1.28 0.00 1.39 1.16

time (sec)

N/A 0.815 5.264 1.931 0.214 0.283 0.000 0.313 1.611

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 160 369 108 372 154 1430 192 189

N.S.

1 0.94 2.17 0.64 2.19 0.91 8.41 1.13 1.11

time (sec)

N/A 0.989 1.851 1.780 0.295 0.270 3.647 0.336 1.258

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 152 315 88 283 138 848 164 152

N.S.

1 1.03 2.14 0.60 1.93 0.94 5.77 1.12 1.03

time (sec)

N/A 0.794 1.806 1.559 0.297 0.278 2.316 0.375 1.199

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 100 137 73 191 117 415 119 105

N.S.

1 1.01 1.38 0.74 1.93 1.18 4.19 1.20 1.06

time (sec)

N/A 0.861 1.435 2.084 0.294 0.256 1.443 0.307 1.181

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 73 153 49 120 91 107 86 65

N.S.

1 1.04 2.19 0.70 1.71 1.30 1.53 1.23 0.93

time (sec)

N/A 0.432 0.798 1.563 0.300 0.273 0.865 0.323 1.126

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 64 43 42 93 58 0 60 45

N.S.

1 0.98 0.66 0.65 1.43 0.89 0.00 0.92 0.69

time (sec)

N/A 0.424 0.163 1.828 0.213 0.248 0.000 0.336 1.364

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 80 170 75 145 131 0 113 74

N.S.

1 1.01 2.15 0.95 1.84 1.66 0.00 1.43 0.94

time (sec)

N/A 0.647 0.961 2.444 0.214 0.268 0.000 0.333 1.342

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 115 264 126 244 207 0 155 123

N.S.

1 1.07 2.47 1.18 2.28 1.93 0.00 1.45 1.15

time (sec)

N/A 0.924 2.228 2.063 0.216 0.259 0.000 0.309 1.522

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 151 496 158 336 228 0 198 165

N.S.

1 0.99 3.26 1.04 2.21 1.50 0.00 1.30 1.09

time (sec)

N/A 1.096 3.995 2.055 0.218 0.271 0.000 0.360 1.279

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 207 435 106 322 190 971 200 203

N.S.

1 1.07 2.25 0.55 1.67 0.98 5.03 1.04 1.05

time (sec)

N/A 1.079 2.507 1.899 0.300 0.277 4.909 0.366 1.232

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 154 361 89 231 165 502 155 152

N.S.

1 1.05 2.46 0.61 1.57 1.12 3.41 1.05 1.03

time (sec)

N/A 1.212 2.123 1.712 0.303 0.285 3.129 0.326 1.251

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 125 241 69 160 137 151 120 134

N.S.

1 1.08 2.08 0.59 1.38 1.18 1.30 1.03 1.16

time (sec)

N/A 0.908 1.450 1.586 0.293 0.268 1.856 0.323 1.417

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 104 135 56 115 93 119 75 66

N.S.

1 1.02 1.32 0.55 1.13 0.91 1.17 0.74 0.65

time (sec)

N/A 0.463 0.837 1.813 0.211 0.271 1.288 0.316 1.200

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 99 63 56 115 93 0 75 66

N.S.

1 0.97 0.62 0.55 1.13 0.91 0.00 0.74 0.65

time (sec)

N/A 0.526 0.233 1.949 0.216 0.255 0.000 0.324 1.272

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 127 197 95 187 185 0 148 130

N.S.

1 1.09 1.68 0.81 1.60 1.58 0.00 1.26 1.11

time (sec)

N/A 0.892 1.449 2.781 0.211 0.256 0.000 0.344 1.423

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 161 482 143 286 272 0 190 168

N.S.

1 1.11 3.32 0.99 1.97 1.88 0.00 1.31 1.16

time (sec)

N/A 1.229 3.789 2.184 0.215 0.261 0.000 0.330 1.419

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 203 610 175 377 295 0 233 216

N.S.

1 1.04 3.11 0.89 1.92 1.51 0.00 1.19 1.10

time (sec)

N/A 1.456 5.878 2.399 0.227 0.297 0.000 0.326 1.248

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 112 64 83 88 64 0 107 0

N.S.

1 1.11 0.63 0.82 0.87 0.63 0.00 1.06 0.00

time (sec)

N/A 0.494 0.219 4.750 0.366 0.261 0.000 0.321 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 146 81 104 123 88 0 155 0

N.S.

1 1.06 0.59 0.75 0.89 0.64 0.00 1.12 0.00

time (sec)

N/A 0.607 0.361 4.194 0.393 0.255 0.000 0.492 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 180 105 123 172 116 0 213 0

N.S.

1 1.03 0.60 0.70 0.98 0.66 0.00 1.22 0.00

time (sec)

N/A 0.737 0.648 6.710 0.393 0.255 0.000 1.214 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 125 78 194 38386 149 0 149 160

N.S.

1 1.06 0.66 1.64 325.31 1.26 0.00 1.26 1.36

time (sec)

N/A 0.508 0.175 7.156 0.933 0.272 0.000 0.341 0.388

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 121 104 256 0 189 0 0 0

N.S.

1 1.03 0.88 2.17 0.00 1.60 0.00 0.00 0.00

time (sec)

N/A 0.507 0.462 6.519 0.000 0.288 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 132 87 292 0 223 0 194 0

N.S.

1 1.05 0.69 2.32 0.00 1.77 0.00 1.54 0.00

time (sec)

N/A 0.538 0.625 7.245 0.000 0.279 0.000 1.408 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 117 77 290 0 148 0 0 87

N.S.

1 1.05 0.69 2.61 0.00 1.33 0.00 0.00 0.78

time (sec)

N/A 0.558 0.584 12.275 0.000 0.096 0.000 0.000 1.611

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 89 66 262 0 137 0 0 80

N.S.

1 1.02 0.76 3.01 0.00 1.57 0.00 0.00 0.92

time (sec)

N/A 0.475 0.284 11.135 0.000 0.103 0.000 0.000 1.390

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 62 53 229 0 125 0 0 53

N.S.

1 1.02 0.87 3.75 0.00 2.05 0.00 0.00 0.87

time (sec)

N/A 0.427 0.153 9.971 0.000 0.089 0.000 0.000 1.271

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 152 0 107 0 0 33

N.S.

1 1.00 1.00 4.34 0.00 3.06 0.00 0.00 0.94

time (sec)

N/A 0.338 0.113 5.429 0.000 0.095 0.000 0.000 1.505

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 58 51 150 0 156 0 0 60

N.S.

1 1.02 0.89 2.63 0.00 2.74 0.00 0.00 1.05

time (sec)

N/A 0.429 0.209 6.894 0.000 0.085 0.000 0.000 1.818

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 85 65 397 0 175 0 0 87

N.S.

1 1.02 0.78 4.78 0.00 2.11 0.00 0.00 1.05

time (sec)

N/A 0.472 0.497 11.205 0.000 0.094 0.000 0.000 1.825

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 113 95 502 0 188 0 0 87

N.S.

1 1.02 0.86 4.52 0.00 1.69 0.00 0.00 0.78

time (sec)

N/A 0.562 0.381 13.485 0.000 0.102 0.000 0.000 1.983

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 126 102 95 115 93 321 110 126

N.S.

1 0.95 0.77 0.72 0.87 0.70 2.43 0.83 0.95

time (sec)

N/A 0.552 0.282 5.785 0.203 0.267 0.364 0.307 1.376

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 115 87 79 89 73 209 89 104

N.S.

1 1.02 0.77 0.70 0.79 0.65 1.85 0.79 0.92

time (sec)

N/A 0.561 0.183 4.771 0.203 0.272 0.237 0.301 1.323

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 70 63 77 65 197 70 81

N.S.

1 1.00 0.80 0.72 0.88 0.74 2.24 0.80 0.92

time (sec)

N/A 0.446 0.152 3.832 0.232 0.275 0.167 0.294 1.443

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 71 53 49 55 45 107 53 66

N.S.

1 1.03 0.77 0.71 0.80 0.65 1.55 0.77 0.96

time (sec)

N/A 0.294 0.089 3.775 0.201 0.261 0.116 0.283 1.438

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 55 35 38 33 66 35 34

N.S.

1 1.00 1.34 0.85 0.93 0.80 1.61 0.85 0.83

time (sec)

N/A 0.182 0.039 1.454 0.214 0.259 0.096 0.279 1.302

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 38 37 36 45 0 70 68

N.S.

1 1.00 1.41 1.37 1.33 1.67 0.00 2.59 2.52

time (sec)

N/A 0.336 0.018 3.384 0.206 0.251 0.000 0.326 1.149

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 37 46 71 0 70 161

N.S.

1 1.00 1.00 1.37 1.70 2.63 0.00 2.59 5.96

time (sec)

N/A 0.341 0.017 4.789 0.190 0.258 0.000 0.371 1.234

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 54 59 63 82 82 0 113 85

N.S.

1 1.06 1.16 1.24 1.61 1.61 0.00 2.22 1.67

time (sec)

N/A 0.437 0.011 6.028 0.198 0.282 0.000 0.365 1.849

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 82 51 68 79 94 0 162 123

N.S.

1 1.05 0.65 0.87 1.01 1.21 0.00 2.08 1.58

time (sec)

N/A 0.531 0.217 7.237 0.203 0.267 0.000 0.373 3.501

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 71 106 139 117 0 230 160

N.S.

1 1.00 0.73 1.09 1.43 1.21 0.00 2.37 1.65

time (sec)

N/A 0.568 0.264 7.463 0.207 0.274 0.000 0.324 3.826

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 124 80 104 127 122 0 246 197

N.S.

1 1.02 0.66 0.85 1.04 1.00 0.00 2.02 1.61

time (sec)

N/A 0.684 0.594 8.084 0.200 0.287 0.000 0.342 3.846

[next] [prev] [prev-tail] [front] [up]